Una extensión Horn de DL-Lite con complejidad de datos NL
<meta content=Extensión Horn de DL-Lite: análisis de complejidad de datos NL. Clave en lógica descriptiva. name=description>
#complejidad de datos
<meta content=Extensión Horn de DL-Lite: análisis de complejidad de datos NL. Clave en lógica descriptiva. name=description>